kw.\*:("ABSTRACTION TYPE")
Results 1 to 3 of 3
Selection :
Scalable component abstractionsODERSKY, Martin; ZENGER, Matthias.ACM SIGPLAN notices. 2005, Vol 40, Num 10, pp 41-57, issn 1523-2867, 17 p.Conference Paper
Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel = SPECIFYING AN ENVIRONMENT DEDICATED TO CERTIFIED PROGAMMING OF COMPUTER ALGEBRA LIBRARIESBoulmé, Sylvain; Hardin, Therese.2000, 245 p.Thesis
Modeling Abstract Types in Modules with Open Existential TypesMONTAGU, Benoit; REMY, Didier.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 354-365, issn 1523-2867, 12 p.Conference Paper